Electrodiagnostic Interpretations in Nerve Lesions [Abstract]

Automatically Refining Abstract Interpretations

Abstract interpretation techniques prove properties of programs by computing abstract fixpoints. All such analyses suffer from the possibility of false errors. We present three techniques to automatically refine such abstract interpretations to reduce false errors: (1) a new operator called interpolated widen, which automatically recovers precision lost due to widen, (2) a new way to handle dis...

Electrodiagnostic Medicine Consultation in Peripheral Nerve Disorders

Reversing Abstract Interpretations

Program analyses are often presented as one of two brands: forwards or backwards. In this paper we explore the significance of the direction of analysis, and show how arbitrary abstract interpretations may be reversed.

Nerve lesions associated with shoulder dislocation; an electrodiagnostic study of 11 cases.

Electrodiagnostic examination of 11 patients with shoulder dislocation revealed nerve damage not previously reported. Although axillary nerve lesions were most common, posterior cord and musculocutaneous nerve damage occurred each in five cases. The mechanism of injury was important. The most surprising patterns were associated with blunt injury or recurrent spontaneous dislocation.

Correctness kernels of abstract interpretations

In static analysis, approximation is typically encoded by abstract domains, providing systematic guidelines for specifying approximate semantic functions and precision assessments. However, it may happen that an abstract domain contains redundant information for the specific purpose of approximating a given semantic function modeling some behavior of a system. This paper introduces correctness ...